reflexive binary relation